x86/mm: use is_..._vcpu() instead of open coding it
authorJan Beulich <jbeulich@suse.com>
Wed, 24 Jun 2015 08:37:50 +0000 (10:37 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 24 Jun 2015 08:37:50 +0000 (10:37 +0200)
commitc528edb5df0a4325141df13e07bd2eee742b32bf
treeebc95807d803bba5a8c96d4a277cad850fa7760d
parent77411f1079d29c4195a13fa89b8506bf92462d10
x86/mm: use is_..._vcpu() instead of open coding it

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/arch/x86/mm/p2m.c
xen/arch/x86/mm/shadow/common.c
xen/arch/x86/mm/shadow/none.c